rue
Let j = 59653/156 + -4147/12. Which is bigger: 37 or j?
37
Let b = 825 - 826. Let v be (-1 - 1)/(6/(-15)). Let q be v/15 - (-38)/(-87). Is b not equal to q?
True
Suppose -q = 3*w + 6, -w - 1 = q - 3*w. Let j = 3/187 + -4711/2244. Which is bigger: q or j?
j
Let t be (-99 + 93)*3*4/(-18) + -1954. Which is smaller: t or -1951?
-1951
Let f = -2999 - -1786. Which is bigger: f or -1212?
-1212
Let t = 0.34 - 0.561. Which is greater: -3 or t?
t
Let l(f) = -f**2 - 3*f + 3. Let s be l(1). Let u be s/(((-2502)/(-12))/(-3)). Which is smaller: -1 or u?
-1
Let d(q) = 98*q + 61. Let x be d(-5). Let i = 16729/39 + x. Are -1 and i equal?
False
Let y be (-88)/24*-3 + 1206. Are 1218 and y unequal?
True
Let n = 14121 + -13669. Do 0.8 and n have the same value?
False
Suppose -26*c = -24*c. Let t be c - (-5 - 2) - (3 + -1). Suppose -3*h = 3*l, -6 = t*h - 3*l + 2. Which is bigger: 8/17 or h?
8/17
Let a(j) = 8*j**2 - 69*j + 154. Let b be a(5). Let t = 42 - 16. Suppose 0 = 2*m - 6 - t. Is b smaller than m?
True
Let t = 399 + -391. Let v be -4*t/864 + 2/(-18). Is -3 > v?
False
Let h be (-2 - (-1 - 1)) + -77*(-84)/1452. Which is greater: 5 or h?
5
Let l = 217 - 168. Suppose 46*h + 720 = l*h. Which is smaller: 239 or h?
239
Suppose 5648*z - 5635*z + 520 = 0. Is z greater than or equal to -41?
True
Let c = 0.0475 - -0.2895. Let r = c - 0.32. Let z = 0.083 + r. Which is smaller: -10 or z?
-10
Suppose 7 = v - 0*v - 2*h, -v = 2*h - 27. Let w be (1 + 2/(-1))/(8 + 164/(-20)). Suppose w*l + 43 + v = 0. Which is greater: l or -13?
l
Let g be ((-12)/264)/(51/32). Let v be (-3*16/(-36))/((-17)/(-5)). Let o = v + g. Are 1 and o non-equal?
True
Suppose 0 = -4*f - 191 - 233. Suppose -2*o + 2*j = 109 + 107, -4*o - 408 = 4*j. Which is smaller: o or f?
f
Let w(r) = -r - 1. Let b be w(-3). Let c be (-8 - 0)*((-225)/5454)/25. Let h = 706/7575 - c. Are h and b non-equal?
True
Let b(g) = 40*g**2 + 63*g - 10. Let x be b(-18). Are 11815 and x equal?
False
Let t = -87001/6 + 14492. Is t >= -9?
True
Let x be 245 - ((-1)/(-4) - (-54)/(-24)). Suppose -7*t + x = 12*t. Suppose 22 + 14 = 2*z + 3*k, 2*z + 5*k = 44. Which is smaller: z or t?
z
Let w = -99 + 229. Let k = w - 133. Is k > -3?
False
Suppose 0 = -23*a + 22*a - 17. Let n be 2646/(-51) - (-2)/a. Which is greater: -160/3 or n?
n
Let m be (4/(-6))/((-25)/9 + 3). Let d be (21/(-28))/(m/8). Suppose -6*k - d = 16. Is k equal to -11/6?
False
Let j = -6.57 - -6.5. Let b = -25.4 + 42.3. Let o = b - 17. Which is greater: o or j?
j
Let x be 9/6 + 795/135. Is 6 >= x?
False
Let i = 19186 - 19192. Which is greater: -405/77 or i?
-405/77
Suppose 0 = a - 3*s - 6, 92 = -2*a + 6*a + 5*s. Let g(m) = 10*m**2 - m**3 - 3 - 3 - 1 + 3*m - 2*m. Let w be g(10). Which is greater: w or a?
a
Let u = -7018 + 7019. Which is smaller: 3/59 or u?
3/59
Suppose 4*n - 30 = 10. Suppose 11*h = n*h - 2. Let z be h/3*-1*2/4. Are -8/3 and z equal?
False
Let h be (-450)/(-60)*(1 - 7). Which is bigger: h or -699/16?
-699/16
Suppose 2*p + 2*i + 12 = 92, -5*i = 2*p - 86. Suppose 562*w - 568*w + 216 = 0. Do p and w have the same value?
False
Suppose -90*c = -72 - 35 + 17. Which is greater: -1/14079 or c?
c
Let k(l) be the second derivative of 2*l**3/3 - 11*l**2 - 11*l - 2. Let b be k(22). Is 66 < b?
False
Let h be 0/(-32) - (2 - (-1 - -6)). Suppose h*j + 105 = 3*m, -j - 10*m + 12*m = 37. Which is bigger: j or -29?
-29
Let r = 0 + 1. Suppose -41 = 19*o + 814. Let l be (-1526)/2352 - (-5)/(o/(-6)). Do l and r have the same value?
False
Let z be (-8)/(-10)*140/(-8). Let j be ((-47)/(-15))/(z/12). Let x = 16/7 + j. Is -14 equal to x?
False
Let r = -109 + 129.1. Let g = -19.6 + r. Does -1/10 = g?
False
Suppose 4 - 2 = p. Let c be -5 + 9 - 11/p. Let m = 2451 - 2454. Which is smaller: c or m?
m
Suppose 10*j - 216 = 2*j. Suppose 3*n - j = -114. Which is smaller: n or -41?
-41
Let u = 47.989 - 48. Let m = u - 0.689. Let y = 0.8 + m. Which is smaller: -10/11 or y?
-10/11
Suppose -97 = -2*p - t, -12*t - 200 = -5*p - 6*t. Which is bigger: p or 7.6?
p
Let t be (-760)/(-32) - (-2)/8. Let h be 21*(28/t + -1). Let x = 247 - 240. Is h less than or equal to x?
True
Suppose 0 = -4*s - 4*p + 8, -4*s = -2*p - 1 + 5. Let y(z) = 0*z - 11*z - z**2 - 1 - z. Let l be y(-9). Is l at least s?
True
Let u = -320079/79 - -4059. Is 8 less than or equal to u?
False
Let m be -8636*(-2 - (-105)/56). Which is smaller: m or 1080?
m
Let p be 6/24 - (-4)/240. Let z = -42 - -44. Suppose -62*r = -64*r + z. Which is smaller: r or p?
p
Let o = -3 + 7. Let m = -38882/37 + 1051. Let n = -233/629 + m. Is n at most o?
True
Let x = 40.9075 + -0.9075. Which is smaller: x or -0.3?
-0.3
Let m be 15 + 2329/(-153) - (-176)/(-18). Which is smaller: 168 or m?
m
Suppose -b - 4*b = -15. Suppose -b*c + 6 = -0*c. Let k be ((-4)/4)/1 + c. Which is bigger: -6 or k?
k
Let k(v) = v**3 + 36*v**2 - 18*v + 63. Let n be k(-34). Let c = 52609388762/135 - 389696189. Let t = n - c. Is t equal to 1?
False
Let j be 6/(-5)*(0 + -10). Suppose 321*y - 320*y - 21 = 0. Suppose -8*k - y = -85. Is j at least k?
True
Let x = 18/79 - 2118/5135. Suppose -5*w = 18 - 43, -21 = 4*c - 5*w. Do c and x have different values?
True
Let l(x) = 2*x**3 + 24*x**2 + 13 + 61*x - 4 - x**3 - 37*x. Let g be l(-23). Which is greater: g or 0?
0
Let d = -1.1352 + 0.9352. Which is bigger: 60 or d?
60
Let n = -23 - -43. Suppose n - 256 = -4*d. Let q = -75 + d. Which is bigger: -1/4 or q?
-1/4
Suppose 2464*i = 2437*i - 27. Let z = -185 + 183.91. Is z smaller than i?
True
Let q(l) = -l**3 - 99*l**2 - 123*l - 2451. Let a be q(-98). Is -378/185 at most as big as a?
True
Let c = -2975 + 2321. Is c at most as big as -651?
True
Let i be -3*(-6)/(-36) - (5 - (-11991)/(-6)). Which is greater: i or 7969/4?
i
Let n = -6.3 - 5.8. Let h = n + 13. Let v = 12179.75 + -12184.75. Is v bigger than h?
False
Suppose 3*a = 2*q - 0 + 9, 5*q = 15. Which is smaller: a or 1/178?
1/178
Let i = -9615 + 9615.0336. Is -2/9 equal to i?
False
Suppose -117 = 158*z - 171*z. Which is smaller: z or -186?
-186
Suppose 3*z - 161 = -20*z. Let n(h) = h**2 - 6*h + 1. Let b be n(z). Which is smaller: 5 or b?
5
Let k be -3*(-260)/(-11382)*124/30. Let n = k - 2/813. Are n and 20 unequal?
True
Let b = -3 + 2. Let l = -3/2792783 - -55017825199/92161839. Let x = l - 597. Which is smaller: x or b?
b
Let t be (-3619)/49 + (-6 - (287/(-49) - 0)). Which is smaller: 38 or t?
t
Let y = 195 + -266. Let j = -113 - y. Which is bigger: -43 or j?
j
Let g = 189 + -99. Let n = -1178 - -1268. Are n and g equal?
True
Suppose -255 = 20*g + 345. Let k be -4 - (-36)/10 - 357/g. Which is smaller: k or 11?
11
Let t be (-2)/(-5) + 42/45. Let s = 16158.9 + -16159. Is t at most s?
False
Let m be (-25)/(300/48) + 11 + 1. Is 148/21 < m?
True
Suppose 654 = -59*l + 713. Which is greater: -3/9272 or l?
l
Suppose 8 = 4*x - 0*x. Suppose -3*n = 4*v - v - 3, -x*v + 2*n = -14. Let p(t) = t + 1. Let y be p(4). Do v and y have the same value?
False
Let j(b) = -2*b**3 + 9*b**2 + 11*b - 60. Let v be j(4). Which is smaller: 1/6068 or v?
v
Suppose -13*n - 990 = -3*n. Let j be ((-4)/9 - 0)/(22/n). Is 3/2 less than or equal to j?
True
Let d be 2/(-8) - 5/(-100)*-235. Let j be d/(6 + (-10 - -5)). Which is smaller: j or -3?
j
Let z = -1297/198 + 77/18. Let b(t) = -t + 32. Let m be b(34). Is m less than z?
False
Suppose 4*r - p + 116 - 495 = 0, -4*r + 361 = 5*p. Is r < 69?
False
Let z = -63.39 - -56.39. Which is greater: z or 3.7?
3.7
Let m(d) = 208*d + 342. Let q be m(-2). Is q smaller than -119?
False
Suppose -3*y + 24 = 3*y. Suppose -2*f - 3*f = -3*u - 39, -4*f = y*u + 52. Let q = u - -52. Is 0 <= q?
True
Let t = 3746 - 9544807/2548. Is t > 0?
True
Let o(l) = -9*l - 17. Suppose 0 = 4*v + 3*n + 17, 2*v + 0*v = -n - 7. Let f be o(v). Which is greater: -3/11 or f?
f
Suppose 0 = -p - 3*r - 6, 5*p = -6*r + 94 - 106. Which is smaller: 58 or p?
p
Let m be (8/(-64))/((-14)/792). Let s = 453/70 - m. Which is smaller: s or -0.15?
s
Let a = -436/165 + -4/165. Let b(v) be the first derivative of v**2/2 + 7. Let f be b(-2). Is f greater than or equal to a?
True
Suppose 12*d - 3286 = 16*d - 5*s, 0 = -d - s - 826. Which is greater: -1649/2 or d?
d
Let p be (-56)/476 - 1591838/(-11613108). Let s = p + 1/2262. Which is smaller: s or 1?
s
Let v(x) = 22*x + 7. Let t be v(-10). Let h 