 10.0703 + 0.9297. Let g = 13 - 3. Is d > g?
True
Let c be (-4 + -1 - 425/(-75))*939/2. Which is greater: 9660/31 or c?
c
Let x(g) = -3*g + 3. Let q be x(5). Let o be (q/40)/(4*(-18)/816). Which is smaller: 4 or o?
o
Let q = 185480/1463 - 2396/19. Is 0 not equal to q?
True
Suppose 12*p = 3*p - 45. Let n be (p/2)/(((-12)/184)/(-1)). Is n smaller than -37?
True
Let x(y) = -y**2 - 29 + 0*y**2 - 47*y + 0*y**2 + 20*y. Let w be x(-35). Which is smaller: -307 or w?
w
Let b = -133905 - -672487/5. Which is greater: b or 592?
b
Let c = -1 - -8. Let d = 137 - 134. Suppose d*i - 5 = 7. Is c at least i?
True
Suppose 3*g = 3*u - 84, -3*g + 3*u - 82 = u. Let l(m) = m**3 + 27*m**2 + 23*m - 17. Let h be l(g). Are 59 and h nonequal?
True
Let g(k) = -k**2 + 4*k + 3. Let w be g(0). Suppose -t - 5*a - 34 = 0, -184 = 4*t + w*a + a. Let s(m) = 5*m - 25. Let d be s(-5). Is d < t?
True
Let j be (-15)/(-18) + 1693/6. Let t = 292 - j. Which is greater: 7 or t?
t
Let a be 7 + 15484/(-32) - -8. Let z = a - -469. Is 4/15 greater than z?
True
Let k = 38.9 + 0.1. Let u = 34 - k. Let v = 2.8 + -3.2. Is v smaller than u?
False
Let o = -5638 - -1403866/249. Which is smaller: o or 1?
o
Let y = 2172 - 2515. Suppose 2*z + 352 = -332. Which is smaller: z or y?
y
Let n = 1197257/2598 + -2765/6. Let j be (-30)/55 - 122414/(-66682). Let y = j - n. Are 2 and y nonequal?
True
Let y(l) = 2663*l - 4285. Let r be y(3). Which is greater: r or 0.2?
r
Let z be (-1 - 1)*(6 + (-340)/8). Suppose -16*l + z = -17*l. Which is smaller: l or -71?
l
Let b(n) = n**3 + 10*n**2 + 21*n + 3. Let p be 9/(-12) - 169/52 - 3. Let h be b(p). Is 22 < h?
False
Let t be ((-2)/(-291))/((-2080)/(-100) + -21). Which is bigger: t or 1?
1
Let r = -718 + 1030. Let d = -312 + r. Is 5/76 less than d?
False
Let y(n) = 11*n**2 - 5*n - 1. Let p(b) = -9*b**2 + 4*b + 2. Let l(r) = 6*p(r) + 5*y(r). Let w be l(2). Which is smaller: 2 or w?
2
Let o = -522.4 + 789.4. Is o at most as big as 5?
False
Suppose 3*l - 35 = 4*v, 2*l - 5*v = 15 + 20. Suppose -b + u - 18 + 50 = 0, 0 = l*b + 4*u - 178. Let p = b - 37. Which is greater: 13 or p?
13
Let n be -4 + (-264)/156 + 2/13. Suppose -3*w - 6 = -2*w. Is n greater than w?
True
Let q = 899 + -894. Suppose -2 = -j, q*y - 7*j + 862 = -11*j. Is y at most as big as -174?
True
Let t = 8194/23 + -356. Let g = t + -76/115. Is -1/151 != g?
True
Suppose -4*i + 4*q - 34 = 38, 3*i = 5*q - 48. Let g be -8 + i/15*-5. Is g at most as big as -24/25?
True
Suppose 62 = 2*v - g - 28, -2*v = g - 94. Let s(f) = 8*f**3 - 6*f**2 + f + 4. Let h be s(2). Is v less than or equal to h?
True
Let i be (-61342)/84 - (-18)/42. Let p = i + 727. Suppose 7 = -3*m - 5. Which is bigger: p or m?
p
Suppose 62*r + 150 = 37*r. Let u be (-5)/r + (-5183)/(-1065). Is 5 not equal to u?
True
Let g(n) = -581*n**3 - 2*n**2 - 3. Let a be g(2). Are a and -4658 non-equal?
True
Suppose -276351 = -72*s - 33063. Is s > 3379?
False
Suppose -n = 9*c - 8*c - 52, 15*n = -c + 864. Is 404/7 at most as big as n?
True
Let i(n) = -n**3 - 42*n**2 + 33*n - 430. Let s be i(-43). Is -1/940 smaller than s?
True
Suppose 23 + 1 = -4*l, -3*s + 3*l = -102. Which is bigger: s or 37?
37
Suppose 8807 = -9*n - 31522. Let i = 551167/123 + n. Which is greater: 1 or i?
1
Suppose 104 + 86 = -95*n. Which is smaller: n or -6/533?
n
Let n = -0.074 - -29.074. Let l = n - 28.969. Let t = -0.231 + l. Is t < 19?
True
Suppose -b - q = 1, -8*q - 22 = -5*b - 4*q. Let p(z) = 5*z**2 - 2*z - 1. Let d be p(2). Which is greater: b or d?
d
Suppose 6*b - 9*b - 15225 = 0. Let n be (b/435)/(10/(-6)). Which is smaller: n or 45/8?
45/8
Let z = -1/2127 + -1417/2127. Is -1005 bigger than z?
False
Let p = -25090 + 25091. Is p at least -3/32?
True
Let v(j) = -16*j + 285. Let p be v(17). Which is smaller: p or -11?
-11
Suppose 3*l = v - 79, v - 2*l = 63 + 13. Suppose 85*z = 71*z - v. Which is bigger: z or -17?
z
Suppose -52*h - 100 = -72*h. Let m(j) = -2 + j - 5*j**2 + 2*j - j**3 + 10*j**2. Let a be m(h). Do a and 13 have the same value?
True
Let q = 3456 - 3455.74. Let d be -3 - 3/(-24)*26. Do q and d have the same value?
False
Suppose x + 5*h = -6, h = -3*x + 6 - 24. Let p(z) = z**3 + 6*z**2 - 2*z - 10. Let k be p(x). Is 9/10 equal to k?
False
Let m be 6/2 - (5 - 3). Let h be ((-66)/330)/((-1302)/30). Which is smaller: h or m?
h
Let j = 201 + -187. Suppose 0 = -j*a - 4 - 10. Which is smaller: -7/24 or a?
a
Let b = 529 + -754. Do b and -223 have the same value?
False
Suppose 91 = -7*v + 868. Let h = v + -81. Let k = h - 37. Which is smaller: k or -6?
k
Let s = 13533 + -13556. Which is smaller: -214 or s?
-214
Let q = 46095 - 186615/4. Which is greater: -558 or q?
-558
Let a = 0.015 - -42.985. Let v = 1083 - 1040.2. Let k = a - v. Are k and -14 nonequal?
True
Let r = 1 + 3. Let z be ((-26)/1365*-21)/(6*8/(-5)). Which is smaller: z or r?
z
Let v = 852012 - 4237759/5. Is 4461 greater than or equal to v?
True
Let h = 0.5 + -0.8. Let n = -833 + 795. Which is greater: h or n?
h
Let p = -65 + 67. Suppose 228*f - 227*f = -p. Let h be (-5 - -3) + (2 - 3). Is f greater than or equal to h?
True
Let g(j) = -98*j - 6667. Let d be g(-89). Are 2061 and d nonequal?
True
Let s = -31556 + 30034. Is 0.1 != s?
True
Let y be (-867)/(-36) - 24/(-24)*(-8)/2. Is y bigger than 20?
True
Let c be ((-10)/4 - (-3395)/1092) + (-3)/(-36). Suppose 10*i = 5*i + 5. Which is smaller: c or i?
c
Let y = -32 - -42. Suppose y = -2*s + 12. Let i be 1 + 3*s/(-3). Is -2/11 at most as big as i?
True
Let r = 14 - 23. Let m = -26451262/2975769 - 2/330641. Is r smaller than m?
True
Let s be (-1 + 0)*2/(-3)*366/(-244). Let c be (4/(-17))/((-2)/(-20)). Is c less than or equal to s?
True
Let y = 2 - 19/9. Suppose -7*c = -4*c + 21, -19 = -5*i + 2*c. Which is smaller: y or i?
y
Suppose -13*h - 23*h = 31*h + 1608. Suppose 0 = -3*w + 11 + 58. Let c be (w/(-1))/1 - 2. Which is bigger: c or h?
h
Let y = -0.07469 - -0.0044. Is y greater than 1?
False
Let k = 0.1061 - -1.8939. Is -0.159 > k?
False
Let j = -140.21 - -145.31. Which is bigger: j or 94?
94
Let n = 146877355/3871 + -37943. Is 1 > n?
True
Suppose -228573 = -63*y + 390*y. Which is smaller: -700 or y?
-700
Suppose 0 = 5*n + 4*s + 1192, 5*s - 214 = 2*n + 210. Let x = 402 - 633. Which is smaller: x or n?
n
Suppose 0 = -8*u + 178 - 146. Is u at most 198/37?
True
Let m(c) = c**3 + 27*c**2 - 29*c + 30. Let j be (-860)/30 + 4/6. Let o be m(j). Let k = -72 + o. Which is bigger: k or 0?
0
Suppose 212 = -5*z + 4*w, -3*z - 6*w = -11*w + 135. Does -9 = z?
False
Let y be 4/((-28)/(-23)) - (-2)/(-7). Suppose -i + 2 = 2*c - y*c, -3*c = 6. Let q be (-1)/110*(4 - i/(-2)). Do q and -1 have the same value?
False
Suppose -6*h + h = -30. Let a = -21/11054 - -475469/77378. Is a bigger than h?
True
Let p(j) = j**3 - 12*j**2 - 13*j - 47. Suppose -65 = -3*l - 2*l. Let m be p(l). Which is greater: m or -49?
m
Suppose h + 5 = 0, t = -3*h - 380 - 369. Let n = -788 - t. Suppose 3*d - 5*w + 177 = 0, 14 = 4*w + 2. Does d = n?
True
Let r be (-7)/(-21) - (-14)/3. Suppose -2*c - r*m = 3*c - 20, 2*c = m + 11. Suppose 2*w - 18 = -c*q - 8, -q - 3*w = -15. Which is smaller: q or -2/7?
-2/7
Let o = 190/113 + -8396/4859. Suppose 3*f - 5*c + 37 = -f, 5*c - 25 = 0. Let x be f/6 + 1/2. Which is smaller: o or x?
o
Let o = 320 + -16319/51. Let r = 164 - 164. Is r greater than or equal to o?
False
Let x = -15 + 17. Suppose h + 2 = -5*i, -8 = 8*h - 4*h + x*i. Let m be (h/(-2))/((-63)/6 - 4). Which is smaller: m or 2/7?
m
Suppose 0 = 6*a + 12, 0 = -2*j - 2*a - 142 - 2. Which is greater: -11 or j?
-11
Let h be (-88)/(-308) + 4364/(-84). Let f(a) = -2*a**2 - a + 2. Let q be f(5). Which is smaller: q or h?
q
Let l = -160 - -151. Let h be (l/(-45))/(21/15 - 2). Which is bigger: -0.26 or h?
-0.26
Let w(v) = v**2 + 12*v + 19. Let a be (1*1/(-3))/((-4)/(-108)). Let h be w(a). Let p be 12/h*4/(-114). Which is bigger: -1 or p?
p
Let j = 4847 - -978. Is 5825 at most as big as j?
True
Let m(h) be the second derivative of -25*h - 35*h**2 + 0 - 5/6*h**3. Let z be m(-14). Which is smaller: z or -1/5?
-1/5
Let u = -4/80997 - 32650/432280989. Which is greater: u or -1?
u
Suppose -28*x + 23189 + 7815 = 18*x. Do 674 and x have different values?
False
Let b be -2 + (-886)/(-222) + -2. Let s(r) = r**2 + 2240*r + 28950. Let a be s(-13). Which is bi