Which is smaller: u or v?
v
Let u = -403/72 - -43/8. Let h = 486 + -483. Let f be h/9*(-483)/35 - -5. Is f equal to u?
False
Suppose -135 = -4*k - t + 1820, -3*k + 3*t + 1455 = 0. Let r = -429 + k. Which is smaller: 58 or r?
58
Let c be 5 + 220031/(-12223) + 13. Which is smaller: c or -1?
-1
Let n(h) = -6*h**2 + 32*h + 1268. Let d be n(0). Is 1271 smaller than d?
False
Let w be 16/(-36) + (-4202)/(-99). Which is greater: -19 or w?
w
Let y be ((-39652)/92)/(1/(-2)). Let c = y + -1300. Which is greater: -439 or c?
c
Let i = 19243/11726 + -5/1066. Which is greater: i or 2?
2
Let s = 0.55 - -0.05. Let f = 3.766 - 1.766. Which is smaller: f or s?
s
Suppose 2 = 128*o - 127*o. Suppose -o*k + 10 = -2. Suppose -k*n + n = -160. Is 33 < n?
False
Let a = 15745 + -16583. Is a at most 1?
True
Let c(m) = -684*m - 9. Let a be c(-2). Suppose 10*o + a = o. Let b = -102 - o. Which is greater: -2/3 or b?
b
Suppose -5611 = -4*n - 3*c, 17*n - 12*n - 3*c = 6980. Does n = 1394?
False
Let n(x) be the first derivative of -80*x**3/3 + x**2 - x - 14. Let a be n(1). Are -78 and a non-equal?
True
Let m be 26/22 + 116/(-638). Let k be (-3)/6*m*988/442. Is k >= -1?
False
Let w(u) = u**2 + 42*u + 426. Let c be w(-25). Let d(f) = f**2 + 8*f - 3. Let s be d(-5). Let g be 22/385*10/s. Which is smaller: c or g?
g
Suppose 2*b - 13 = -a, 4*a = 2*b - 3*b + 24. Let q be ((-16)/b)/2*9/(-6). Let i = 5 - 5.08. Are i and q unequal?
True
Let t = 3612/323 + -208/19. Is t greater than -1?
True
Suppose -4*s + 5*c - 32 = 0, -s + 10*c - 7*c - 8 = 0. Let o be 16/3*(-4 - s/8). Do o and -17 have different values?
True
Let v = 399597069/104 + -3842219. Let x = v + -798/13. Suppose p - 17 - 1 = 4*i, 2*p - i - 1 = 0. Which is greater: p or x?
x
Let b = -96 - -96.31. Let j = 0.504 - 0.094. Let y = b - j. Which is bigger: -28 or y?
y
Suppose 0*w + 120 = 8*w. Let m be 1/(-5) - (-6 - (-267)/w). Let n(h) = -2*h - 2. Let a be n(4). Is m > a?
False
Suppose -t + 1399 - 2784 = 4*m, 3*t + 2*m + 4105 = 0. Is t at least -1350?
False
Suppose 14*b = b - 260. Let o be 1*-2 - (b/4 + -2). Suppose 0 = -2*q - 3*v + 21, 0 = -q + o*q - 4*v + 8. Is 8/5 equal to q?
False
Let x = 24.46 + -24.46. Let u be (-3 + 90/(-596)*-20)*2. Which is greater: u or x?
u
Let z be (250/15)/(420/(-144) + 3). Is 177 <= z?
True
Let f(w) = -3*w**2. Let x be f(1). Let p = 10715 + -10687. Which is smaller: p or x?
x
Let o be (99/3)/((-9)/(-12)*-2). Let q be 12/(-66) + (-114)/o. Let i be q/25*(-2)/1. Which is greater: -12 or i?
i
Let l(a) = -8*a + 47. Let q = -88 - -93. Let h be l(q). Which is greater: 8 or h?
8
Let d = 226 - 224. Let u be 22512/480 - d*(-1)/20. Suppose 94 = -3*b + 5*b. Is u bigger than b?
False
Let t(q) be the first derivative of q**4/4 + 2*q**3 + 9*q**2/2 + 13*q + 168. Let x be t(-5). Which is smaller: x or -2?
x
Let p(u) = u + 14. Let d be p(-12). Suppose -l = d*l. Let x = 2117/4 - 527. Which is smaller: x or l?
l
Let g = -72 + 2. Let f = 4821.8 + -4822. Which is smaller: g or f?
g
Suppose 18*d = -187*d - 641690 - 449525. Is d at most -5324?
False
Let i = 6812 + -6627. Which is greater: -36 or i?
i
Let c = 64.09 - 64.29. Is c greater than -4089?
True
Let l = -14840 - -14838. Suppose f = 3*f + 38. Is f greater than l?
False
Let g = -87.15 + 85.927. Is g != -0.1?
True
Let q = -2 + -1. Let h = -13764 - -68057/5. Let x = h - -153. Which is bigger: q or x?
x
Let y = -73 - 48. Let x = -120.02 - y. Is x at least as big as 2/5?
True
Let x(n) = n**3 - 16*n**2 - 18*n + 17. Let w be 238/(-35)*(-10)/4. Let p be x(w). Which is greater: p or 444?
444
Let j = -0.16 + -1.34. Let v = -1810 - -1809. Are v and j nonequal?
True
Suppose -35201 - 14379 = 268*z. Is -174 smaller than z?
False
Let g = -91.4 + 91.406. Let i = -58/183 + -1/61. Which is smaller: i or g?
i
Let z = 1355 - 1354. Let f = -24 + 12. Let s be ((-69)/f + -2)*-4. Is z < s?
False
Let k(w) = -16*w + 56. Let j(p) = -11*p + 37. Let o(d) = 8*j(d) - 5*k(d). Let t be o(2). Which is greater: t or 1/15?
1/15
Suppose 2*l = -5*b + 1, 7*l - 2*b - 4 = 10*l. Let x be -1 + l - 285/(-65). Which is bigger: 2 or x?
2
Let q(f) = -4*f**2 + f - 3. Let k be q(3). Suppose -5*a - 615 - 123 = 13*a. Let h = a - k. Which is smaller: -10 or h?
-10
Let p be ((-6)/(-3))/(4/13566). Is p < 6784?
True
Let d = -7849 - -7851. Which is greater: -775 or d?
d
Let a = -51 - -161. Let u = 155 - a. Is u greater than -2?
True
Let l be (-4 + -56 - -2)*-2. Suppose 4*a + 20 = -l. Let s = 36 + a. Is s smaller than 8/9?
False
Suppose 0 = -12*m - 3361 + 15673. Is 1024 bigger than m?
False
Let a = -84043/78617647 + -1/42937. Is 0 smaller than a?
False
Let s = -14261 + 14378. Is 118 > s?
True
Let f be -1*(-2)/(-4)*-8. Suppose -l - f = 0, -3*n - 2*n - 4*l - 16 = 0. Suppose 0 = 2*w - n*p + p - 10, p = -w + 5. Is 6 bigger than w?
True
Let n = -1580/9 - -2126/9. Let w = n - 59. Which is smaller: w or 1?
1
Let c(n) = -294*n - 343. Let m be c(2). Is -931 equal to m?
True
Suppose -27*t = -29*t + 16. Let m be ((-49)/6 - -8)/(2/t). Is m at least -2/5?
False
Let t = 36846.07 + -37004. Is -1/2 less than or equal to t?
False
Let l be 68/153 - ((-7525)/(-90) + -4). Is l equal to -8?
False
Let o be (-120)/(-5) + 902/(-41) - (0 - -3). Let h be (1/3)/((-19)/(-12)). Which is greater: o or h?
h
Let i = 3707 + -11125/3. Which is greater: i or -111?
i
Let s = -87 - -90. Suppose 3 = o - 3*t, 4*o + 0*t - 21 = s*t. Suppose 0 = 5*d - 2*y + 31, 7*y - 4*y = -o. Are d and -11 equal?
False
Suppose -265 + 55 = 6*k. Let c = k + 51. Suppose 2*a - 5*p - c - 30 = 0, 3*p = 4*a - 64. Which is greater: 14 or a?
14
Let w = 3757 + -3756. Which is bigger: w or -156/23?
w
Suppose 64*k - 72*k = -40. Suppose -3*t + 1 = -4*q, 2*t + k = -8*q + 5*q. Which is smaller: -1/50 or q?
q
Let v(r) = -10*r**3 + 313*r**2 - 93*r. Let t be v(31). Is -1081 less than t?
True
Let m be 9/3 + -3 + (124 - -8). Let u = m - 409. Is -278 <= u?
True
Let d = 1028 + -1029. Which is bigger: 1519 or d?
1519
Let f = -1933 - -1860. Is -52 bigger than f?
True
Let i be 26/4 - (-5)/(-10). Let x = i + 14. Let u be 4/x + (-213)/15. Are u and -11 non-equal?
True
Let q = 134.3 - 118.5. Which is greater: 3 or q?
q
Suppose -4750*d = -4741*d + 36 + 189. Which is greater: d or -27?
d
Let w be -2 - -2*3 - 3. Let q be ((-32)/120)/(7 + (-427)/70). Is q equal to w?
False
Let t(k) = -3*k**3 - 6*k**2 + 11*k + 26. Let h be t(-9). Suppose 0 = -16*x + 524 - h. Are x and -69 non-equal?
False
Suppose 4*l = -3*g + 1072, -l - 5*g + 256 = -29. Do 265 and l have different values?
False
Let m be 1 - (-7)/(35/(-50)). Let b(v) = v**3 + 9*v**2 + 4*v - 13. Let j be b(m). Is -49 at most as big as j?
True
Let o be (74340/272)/(-5) - 1/(-4). Do o and -53 have the same value?
False
Let c = -8.542 - -8.6. Let g = c - 37.058. Which is greater: -1/5 or g?
-1/5
Let p(d) = 10 + 7*d - 5 + 17. Let h be p(-7). Let y be 5*15/h + 3. Is y at least as big as -6?
True
Let s = -106 - -139. Let h be 4*((-15)/6)/(-5). Suppose -60 = -2*t + h*l, 0 = t - 9*l + 4*l - 14. Is t smaller than s?
False
Let j = -238 - -122. Let y = -116 - j. Let b be (-26)/29 + 0 + 1. Which is smaller: b or y?
y
Let g = -2589 + 2568.02. Let a = g - -1.18. Let s = 20 + a. Which is bigger: s or -8?
s
Let w = -4363/279 - -139/9. Let b = 20 - 20. Let x = 0 + b. Is w at least x?
False
Suppose s + 2*t = -28 - 48, -3*t = 2*s + 149. Let n = 14 + s. Let w = n - -57. Which is smaller: w or -1?
-1
Let y(g) = 460*g + 54. Let h be y(10). Let f be h/(-14) - (230/35 + -6). Does f = -333?
True
Suppose -6*t - 6 - 12 = 0. Let o be ((-3)/4)/(1/(19/((-1463)/(-44)))). Is t at most o?
True
Let h be (-6 + (-128)/(-24))/((-6)/171). Suppose r + 15 = -d, -5*d = 1 + h. Is -9 less than or equal to r?
False
Let f = 9 + -6. Suppose 0 = -23*s - 95*s + 8405 + 799. Suppose 4*c + 72 = -f*a + 7*a, 4*a - c - s = 0. Is 19 greater than a?
False
Suppose -4*z = 0, -25*o = -27*o + 3*z + 260. Which is greater: o or -13?
o
Let v be 0*(510/(-40) + 13). Is v at least as big as -5/452?
True
Let y be (-5)/(70/4) - (-1205)/(-560). Let i = 17142/25 + -10111189/14800. Let o = i + y. Which is greater: 0 or o?
o
Let f be (9/(270/(-12)))/((-110)/(-275)). Is f less than or equal to 2/1295?
True
Let i = 0.0148 + -352.0148. Let k be ((-8)/35)/((-298)/1043) - (-38)/(-35). Which is smaller: k or i?
i
Let m be 164 + -149 + 148/11